predicate term
Look at other dictionaries:
Term — Term, n. [F. terme, L. termen, inis, terminus, a boundary limit, end; akin to Gr. ?, ?. See {Thrum} a tuft, and cf. {Terminus}, {Determine}, {Exterminate}.] 1. That which limits the extent of anything; limit; extremity; bound; boundary. [1913… … The Collaborative International Dictionary of English
Term fee — Term Term, n. [F. terme, L. termen, inis, terminus, a boundary limit, end; akin to Gr. ?, ?. See {Thrum} a tuft, and cf. {Terminus}, {Determine}, {Exterminate}.] 1. That which limits the extent of anything; limit; extremity; bound; boundary.… … The Collaborative International Dictionary of English
Predicate — Pred i*cate, v. t. [imp. & p. p. {Predicated}; p. pr. & vb. n. {Predicating}.] [L. praedicatus, p. p. of praedicare to cry in public, to proclaim. See {Preach}.] 1. To assert to belong to something; to affirm (one thing of another); as, to… … The Collaborative International Dictionary of English
term — ► NOUN 1) a word or phrase used to describe a thing or to express a concept. 2) (terms) language used on a particular occasion: a protest in the strongest possible terms. 3) (terms) stipulated or agreed requirements or conditions. 4) (terms)… … English terms dictionary
term — term1 [tʉrm] n. [ME terme < OFr < L terminus, a limit, boundary, end < IE * termṇ, a boundary stake < base * ter , to cross over, go beyond > TRANS , Gr terma, goal] 1. Archaic a point of time designating the beginning or end of a… … English World dictionary
predicate — (n.) 1530s, a term in logic, from L. praedicatum that which is said of the subject, properly neut. pp. of praedicare assert, proclaim, declare publicly, from prae forth, before (see PRE (Cf. pre )) + dicare proclaim, from stem of dicere to speak … Etymology dictionary
Term logic — In philosophy, term logic, also known as traditional logic, is a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century.This entry is an… … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
term — termly, adv. /terrm/, n. 1. a word or group of words designating something, esp. in a particular field, as atom in physics, quietism in theology, adze in carpentry, or district leader in politics. 2. any word or group of words considered as a… … Universalium
Predicate abstraction — In logic, predicate abstraction is the result of creating a predicate from an open sentence. If Q(x) is any formula with x free then the predicate formed from that sentence is (λx.Q(x)), where λ is an abstraction operator. The resultant predicate … Wikipedia
